Platform Based Reconfigurable Hardware Exploration via Boolean Constraints

As technology advances, the need for having reconfigurable devices becomes more of a necessity due to the growing complexity of applications. Programmable devices like Cypress Semiconductor’s Programmable System-on-a-Chip (PSoC) allow its users the flexibility to program one device that meets many of their application needs. Being that this technology is becoming more wide spread, it is now time to research a higher level of abstraction for programmable devices so that they can be even more versatile and robust. This paper will demonstrate how the programming of reconfigurable devices are affected when they are constrained primarily on a system’s physical specifications. This results in a Boolean constraint formulation which can be framed as a classic CNF satisfiability problem.